Arithmetization of formal system
[计] 形式系统算术化
🧩 词语组成解析
[计] 算术化
of
[əv]
prep. 关于;属于…的;由…制成;
aux. 助动词 [非标准用语、方言] =have [主用于虚拟语气];
formal
['fɔ:məl]
adj. （学校教育或培训）正规的;方式上的;礼仪上的;
n. <美>须穿礼服的社交集会;<口>夜礼服;
🗣️ 情景例句
Perhaps they'll show up. In the meantime,
也许他们会露面。在这等待期间
The woolen sweaters you delivered do not match the sample we provided.
你们交货的羊毛衫和我厂提供的样品不一致。
why have we had no visitors from outer space yet?
那么我们为什么还未见到外层空间来访的客人呢？